The Role of Verification in Computer Modelling: a Case Study in Solidification
نویسندگان
چکیده
Computer modelling has become an important aspect of engineering science and technology. Bespoke computer models are routinely under development and are often applied to specific manufacturing and materials processes. Solidification processes (casting, for example) is no exception and significant numbers of modelling approaches for solidification are available in the literature. The roles of verification and validation in model development for any physical process ought to be clear, but owing to practicalities, it can be difficult to fully verify or fully validate a computer model to a specific requirement. Hence, the terms verification and validation are routinely interchanged or are misconstrued to mean the same thing. This paper outlines a verification study for a Bridgman Furnace Front Tracking Model (BFFTM) of solidification. A formal order verification procedure was applied which showed that the prediction from the computer model converged, in agreement, with an analytical model of the same process. Hence, verification of the BFFTM was achieved.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملMODELLING OF THE PERMEABILITY FOR COLUMNAR DENDRITE STRUCTURES DURING SOLIDIFICATION OF MUSHY ALLOYS
A numerical model has been developed for the determination of liquid flow permeability through columnar dendrite during growth. The model is inclusive two stages, first numerical evolution of the dendrite shape during growth, and second numerical determination of the interdendritic liquid permeability. Simulation results shown which solute concentration by evolution of dendrite shape could resu...
متن کاملModeling Of Heat Transfer And Solidification Of Droplet/Substrate In Microcasting SDM Process
Microcasting Shape-Deposition-Manufacturing is an approach to Solid-Freeform-Fabrication (SFF) process which is a novel method for rapid automated manufacturing of near-net-shape multi-material parts with complex geometries. By this method, objects are made by sequentially depositing molten metal droplets on a substrate and shaping by a CNC tool, layer by layer. Important issues are concerned w...
متن کاملOrder verification of a Bridgman furnace front tracking model in steady state
Numerical model verification is a prerequisite to model validation. However, verification can be difficult if an analytical solution is not available for the normally complex problem that the numerical model is setting out to address. This article aims to formally verify a Bridgman furnace solidification front tracking model code in a steady state scenario. To do this an order verification proc...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کامل